function padding( value ) {
	return ( value < 10 ? "0" : "" ) + value; 
}